From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI
نویسندگان
چکیده
We describe the development of the KandISTI family of model checkers from its origins nearly two decades ago until its very recent latest addition. Most progress was made, however, during two integrated European projects, AGILE and SENSORIA, in which our FM&&T lab participated under the scientific coordination of Martin Wirsing. Moreover, the very name of the family of model checkers is partly due to Martin Wirsing’s passion for art and science.
منابع مشابه
KandISTI: A Family of Model Checkers for the Analysis of Software Designs
31 When analyzing the correctness of designs in complex software systems during their early stages of development, it is essential to apply formal methods and tools. The broader system is described using a formal specification language and its relative correctness (with respect to relevant behavioural properties) is checked by formally evaluating temporal logic formulas over the underlying comp...
متن کاملنگرانی و رابطه آن با زیرمجموعه های وارسی و شستشوی اختلال وسواسی ـ اجباری
The aim of this research was to study worry and emotional processing indicators in individuals with OCD and to compare the checking and washing subtypes of this disorder. Sixty individuals with OCD (30 checkers and 30 washers) and 60 individuals as control (30 anxious and 30 normal) were selected and were matched in demographic characteristics with the checker group. The OCD were interviewed us...
متن کاملAn Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine
Even if multicore architectures are nowadays extremely widespread, the exploitation of this easily available degree of parallelism is not always straightforward. In this paper we describe the experience gained in our ongoing e↵ort to parallelise the model checking engine of a family of model checkers (KandISTI) developed at ISTI. The main focus of our experimentation is the evaluation of the mi...
متن کاملCharacters of Kinetic and Equilibrium of Adsorption of Eu(III) by an Cation Exchange Resin
The sorption and desorption behaviors of Eu(III) from aqueous solutions with cation exchange resins containing carboxyl groups (D155 resin) were studied in terms of varied Eu(III) concentration, adsorbent dosage, pH, contact time and temperature. Batch shaking sorption experiments were carried out to evaluate the performance of D155 resin in the removal of Eu(III) from aqu...
متن کاملDesigning a Multi-Objective Mathematical Model Using Intuitionistic Fuzzy Approach to Select Investment Projects (Case of Investment Opportunities in Bushehr Province)
Strategic development goals is achieved by investment potential utilization of each region. Some of these goals may be inconsistent. Therefore, Governments want to align a combination of different investment objectives and sometimes contradictory as far as possible. This study aimed to explain the mathematical model for investment projects by providing an integer linear programming model with t...
متن کامل